<html>
<head><meta charset="utf-8"><title>thanks for the great post, niko! · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/thanks.20for.20the.20great.20post.2C.20niko!.html">thanks for the great post, niko!</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="215039319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/thanks%20for%20the%20great%20post%2C%20niko%21/near/215039319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/thanks.20for.20the.20great.20post.2C.20niko!.html#215039319">(Oct 29 2020 at 22:59)</a>:</h4>
<p>By the way, thank you <span class="user-mention" data-user-id="116009">@nikomatsakis</span> for writing a great post about unification (<a href="http://smallcultfollowing.com/babysteps/blog/2017/03/25/unification-in-chalk-part-1/">http://smallcultfollowing.com/babysteps/blog/2017/03/25/unification-in-chalk-part-1/</a>)! The examples of unifying as if you're the compiler helped me understand it better <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>